https://filesoo.com/product/44662/algebraic-theories-a-categorical-introduction-to-general-algebra